20 research outputs found
Truth-value semantics and functional extensions for classical logic of partial terms based on equality
Full text linkWe develop a bottom-up approach to truth-value semantics for classical logic
of partial terms based on equality and apply it to prove the conservativity of
the addition of partial description and partial selection functions,
independently of any strictness assumption.Comment: 15 pages, to appear in the Notre Dame Journal of Formal Logi
On the admissibiity of the structural rules in Kanger's sequent calculus with restricted equality Rules
No full text
Admissibility of the structural rules in Kanger\u2019s sequent calculus for first order logic with equality
No full text
Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability
No full text
